<html>
<head><meta charset="utf-8"><title>I-prioritize #77329 Stable ICE: assertion failed: `(left ==… · t-compiler/wg-prioritization/alerts · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/index.html">t-compiler/wg-prioritization/alerts</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377329.20Stable.20ICE.3A.20assertion.20failed.3A.20.60(left.20.3D.3D.E2.80.A6.html">I-prioritize #77329 Stable ICE: assertion failed: `(left ==…</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="211603276"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377329%20Stable%20ICE%3A%20assertion%20failed%3A%20%60%28left%20%3D%3D%E2%80%A6/near/211603276" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377329.20Stable.20ICE.3A.20assertion.20failed.3A.20.60(left.20.3D.3D.E2.80.A6.html#211603276">(Sep 29 2020 at 10:25)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> issue <a href="https://github.com/rust-lang/rust/issues/77329">#77329</a> has been requested for prioritization.</p>
<h1><a href="https://forge.rust-lang.org/compiler/prioritization/procedure.html#assign-priority-to-unprioritized-issues-with-i-prioritize-label">Procedure</a></h1>
<ul>
<li>Priority?</li>
<li>Regression?</li>
<li>Notify people/groups?</li>
<li>Needs <code>I-nominated</code>?</li>
</ul>



<a name="211603537"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377329%20Stable%20ICE%3A%20assertion%20failed%3A%20%60%28left%20%3D%3D%E2%80%A6/near/211603537" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Stu <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377329.20Stable.20ICE.3A.20assertion.20failed.3A.20.60(left.20.3D.3D.E2.80.A6.html#211603537">(Sep 29 2020 at 10:28)</a>:</h4>
<p>I would go with P-high. The code is very special, but is also really short and simple.</p>



<a name="211603550"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377329%20Stable%20ICE%3A%20assertion%20failed%3A%20%60%28left%20%3D%3D%E2%80%A6/near/211603550" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Hameer Abbasi <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377329.20Stable.20ICE.3A.20assertion.20failed.3A.20.60(left.20.3D.3D.E2.80.A6.html#211603550">(Sep 29 2020 at 10:28)</a>:</h4>
<p>Sounds like medium, since no one noticed it for so long (could be a dupe?), and doesn't seem like a lot of crates depend on it.</p>



<a name="211603613"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377329%20Stable%20ICE%3A%20assertion%20failed%3A%20%60%28left%20%3D%3D%E2%80%A6/near/211603613" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Hameer Abbasi <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377329.20Stable.20ICE.3A.20assertion.20failed.3A.20.60(left.20.3D.3D.E2.80.A6.html#211603613">(Sep 29 2020 at 10:30)</a>:</h4>
<p>I'd be okay with high too.</p>



<a name="211603848"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377329%20Stable%20ICE%3A%20assertion%20failed%3A%20%60%28left%20%3D%3D%E2%80%A6/near/211603848" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Hameer Abbasi <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377329.20Stable.20ICE.3A.20assertion.20failed.3A.20.60(left.20.3D.3D.E2.80.A6.html#211603848">(Sep 29 2020 at 10:33)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="216206">@lcnr</span> (the <code>const-generics</code> superhuman).</p>



<a name="211604829"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377329%20Stable%20ICE%3A%20assertion%20failed%3A%20%60%28left%20%3D%3D%E2%80%A6/near/211604829" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lzutao <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377329.20Stable.20ICE.3A.20assertion.20failed.3A.20.60(left.20.3D.3D.E2.80.A6.html#211604829">(Sep 29 2020 at 10:46)</a>:</h4>
<p>P-medium or P-low, this is invalid code and unnoticed for long time.</p>



<a name="211605601"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377329%20Stable%20ICE%3A%20assertion%20failed%3A%20%60%28left%20%3D%3D%E2%80%A6/near/211605601" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nelson J Morais <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377329.20Stable.20ICE.3A.20assertion.20failed.3A.20.60(left.20.3D.3D.E2.80.A6.html#211605601">(Sep 29 2020 at 10:57)</a>:</h4>
<p>the array of type unit with that expression should compile? <span aria-label="thinking" class="emoji emoji-1f914" role="img" title="thinking">:thinking:</span></p>



<a name="211605740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377329%20Stable%20ICE%3A%20assertion%20failed%3A%20%60%28left%20%3D%3D%E2%80%A6/near/211605740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Hameer Abbasi <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377329.20Stable.20ICE.3A.20assertion.20failed.3A.20.60(left.20.3D.3D.E2.80.A6.html#211605740">(Sep 29 2020 at 10:59)</a>:</h4>
<p>I don't know, the size of the array is a lambda, which should be invalid.</p>



<a name="211608431"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377329%20Stable%20ICE%3A%20assertion%20failed%3A%20%60%28left%20%3D%3D%E2%80%A6/near/211608431" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tamuhey <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377329.20Stable.20ICE.3A.20assertion.20failed.3A.20.60(left.20.3D.3D.E2.80.A6.html#211608431">(Sep 29 2020 at 11:33)</a>:</h4>
<p>As I posted (<a href="https://github.com/rust-lang/rust/issues/77329#issuecomment-700635636">https://github.com/rust-lang/rust/issues/77329#issuecomment-700635636</a>), this bug seems to occur in more general code: impl Trait with array type whose size is closure.</p>



<a name="211610822"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377329%20Stable%20ICE%3A%20assertion%20failed%3A%20%60%28left%20%3D%3D%E2%80%A6/near/211610822" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Hameer Abbasi <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377329.20Stable.20ICE.3A.20assertion.20failed.3A.20.60(left.20.3D.3D.E2.80.A6.html#211610822">(Sep 29 2020 at 12:00)</a>:</h4>
<p>Medium still seems good to me; it's still invalid code.</p>



<a name="211612132"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377329%20Stable%20ICE%3A%20assertion%20failed%3A%20%60%28left%20%3D%3D%E2%80%A6/near/211612132" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377329.20Stable.20ICE.3A.20assertion.20failed.3A.20.60(left.20.3D.3D.E2.80.A6.html#211612132">(Sep 29 2020 at 12:13)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/77329">#77329</a>'s prioritization request has been removed.</p>



<a name="211671542"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377329%20Stable%20ICE%3A%20assertion%20failed%3A%20%60%28left%20%3D%3D%E2%80%A6/near/211671542" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377329.20Stable.20ICE.3A.20assertion.20failed.3A.20.60(left.20.3D.3D.E2.80.A6.html#211671542">(Sep 29 2020 at 19:23)</a>:</h4>
<p><span class="user-mention silent" data-user-id="256313">Hameer Abbasi</span> [said](<a href="#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts/topic/I-prioritize.20.2377329.20Stable.20ICE.3A.20assertion.20failed.3A.20.60(left.20.3D.3D.E2.80.A6/near/211603848)">https://rust-lang.zulipchat.com/#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts/topic/I-prioritize.20.2377329.20Stable.20ICE.3A.20assertion.20failed.3A.20.60(left.20.3D.3D.E2.80.A6/near/211603848)</a>:</p>
<blockquote>
<p>cc <span class="user-mention silent" data-user-id="216206">lcnr</span> (the <code>const-generics</code> superhuman).</p>
</blockquote>
<p>thanks for notifying me <span aria-label="heart" class="emoji emoji-2764" role="img" title="heart">:heart:</span> using closures in constants currently doesn't make much sense as they can't actually be called yet, so medium seems good to me</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>